Formal Specification of Agent Behaviour through Environment Scenarios
نویسنده
چکیده
Scenarios are typical situations that may occur in the operation of a software system. Scenario analysis plays an important role in software requirements analysis and design. This paper introduces a formal notation for the specification of scenario s in agent-based systems. The autonomous and collaborative behavior of an agent can be formally specified by a set of rules describing its activity in various scenarios. The power of the approach is illustrated by the formal specification of Maes' personal assistant agent Maxims. The paper also shows that agents' social behavior, such as speech act, can also be formally specified as scenario -reaction rules.
منابع مشابه
Modelling and Specifying Scenarios and Agent Behaviour
∗ Work reported in this paper is partly supported by China National High Technology Research Programme (863 Programme) under grant 2002AA116070. Abstract Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further investigate how diagrammatic models of multi-agent systems can b...
متن کاملModelling Cooperative Behaviour for Resource Access in a Compositional Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. It will be shown how this results in a flexible, compositional specification that is applicable to ...
متن کاملModelling Cooperative Behaviour for Resource Access in a Multi-Agent Environment
Modelling and formally specifying agent knowledge required to deal with limited access to resources in a multi-agent situation, is the focus of this paper. Not only the static elements involved but also the dynamic element, namely the behaviour of the system, is explicitly modelled and specified. DESIRE, a formal framework for the design and specification of compositional architectures, is empl...
متن کاملVerifying Normative Behaviour via Normative Mechanism Design
The environment is an essential component of multi-agent systems and is often used to coordinate the behaviour of individual agents. Recently many languages have been proposed to specify and implement multi-agent environments in terms of social and normative concepts. In this paper, we first introduce a formal setting of multi-agent environment which abstracts from concrete specification langua...
متن کاملMulti-Robot Systems: Modeling, Specification, and Model Checking
Specifying behaviors of physical multi-agent systems (MAS) – also called multi-robot systems – is a demanding task, especially when they are applied in safety critical applications. For this, formal methods based on mathematical models of the system under design are helpful. They allow us not only to formally specify the system at different levels of abstraction, but also to analyze the consist...
متن کامل